REF, NoConds
\\[0ex]Auto $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Auto$\cdot$